121. Deep Learning with Python : A Hands-on Introduction
Author: Ketkar, Nikhil
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer programming,، Computer science,، Computers,، Mathematical logic
Classification :
LB
2822
.
75
.
K88
2017
122. Delta-4:
Author: edited by David Powell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Logic design.
Classification :
QA76
.
9
.
D5
E358
1991
123. Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
Author: Lou Goble, John-Jules Ch. Meyer )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Deontic logic
Classification :
QA
76
.
L28
Vol
.
4048
124. Deontic logic in computer science. normative system specification /
Author: edited by John-Jules Ch. Meyer and Roel J. Wieringa
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer science- Congresses,، Deontic logic- Congresses
Classification :
QA
75
.
5
.
D46
125. Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
Author: Alessio Lomuscio, Donald Nute )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Deontic logic
Classification :
QA
76
.
L28
Vol
.
3065
126. Descriptional complexity of formal systems :
Author: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
Classification :
QA76
.
5913
D34
2019
127. Design, Analysis and Test of Logic Circuits Under Uncertaint
Author: / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Computer hardware,Computer science,Logic design,Operating systems (Computers),Algebra, Data processing,Systems engineering,Electronic books
Classification :
E-BOOK
128. Design and Analysis of Algorithms :
Author: Sandeep Sen, Indian Institute of Technology, Delhi, Amit Kumar, Indian Institute of Technology, Delhi
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.,Algebra.,Algorithms.,Computer science.,Geometry.,Logic.,Mathematics.
Classification :
QA9
.
58
.
S454
2019
129. Developments in Language Theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
130. Discrete Mathematics
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Mathematical recreations,Computer Science -- Mathematics
Classification :
QA9
.
25
.
E57
2006
131. Discrete mathematics
Author: / Douglas E. Ensley, J. Winston Crawley
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical,Mathematical recreations,Computer science, Mathematics
Classification :
QA9
.
25
.
E57
2006
132. Discrete mathematics
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science- Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
133. Discrete mathematics :
Author: Douglas E. Ensley, J. Winston Crawley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
Classification :
QA9
.
25
.
E57
2006
134. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
135. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics,Computer science,Logic, Symbolic and mathematical,-- Mathematics
Classification :
511
R813D
2007
136. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
511
R813d
E
.
5
137. Discrete mathematics and its applications
Author: Rosen, Kenneth H.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Mathematics,Mathematics ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
138. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Computer science, Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2007
139. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
140. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2003
